On lovely pairs of geometric structures
نویسندگان
چکیده
We study the theory of lovely pairs of geometric structures, in particular o-minimal structures. We characterize linear" theories in terms of properties of the corresponding theory of the lovely pair. For o-minimal theories, we use Peterzil-Starchenko's trichotomy theorem to characterize for su ciently general points, the local geometry around it in terms of the thorn U rank of its type.
منابع مشابه
Lovely Pairs for Independence Relations
In the literature there are two different notions of lovely pairs of a theory T, according to whether T is simple or geometric. We introduce a notion of lovely pairs for an independence relation, which generalizes both the simple and the geometric case, and show how the main theorems for those two cases extend to our general notion.
متن کاملLovely Pairs and Dense Pairs of O-minimal Structures
We study the theory of Lovely pairs of þ-rank one theories, in particular O-minimal theories. We show that the class of א0-saturated dense pairs of O-minimal structures studied by van den Dries [6] agrees with the corresponding class of lovely pairs. We also prove that the theory of lovely pairs of O-minimal structures is super-rosy of rank ≤ ω.
متن کاملA preservation theorem for theories without the tree property of the first kind
We prove that the NTP1 property of a geometric theory T is inherited by theories of lovely pairs and H-structures associated to T . We also provide a class of examples of nonsimple geometric NTP1 theories.
متن کاملWeak One-Basedness
We study the notion of weak one-basedness introduced in recent work of Berenstein and Vassiliev. Our main results are that this notion characterises linearity in the setting of geometric þ-rank 1 structures and that lovely pairs of weakly one-based geometric þ-rank 1 structures are weakly one-based with respect to þ-independence. We also study geometries arising from infinite dimensional vector...
متن کاملOn supersimplicity and lovely pairs of cats
We prove that the definition of supersimplicity in metric structures from [Ben05b] is equivalent to an a priori stronger variant. This stronger variant is then used to prove that if T is a supersimple Hausdorff cat then so is its theory of lovely pairs.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 161 شماره
صفحات -
تاریخ انتشار 2010